using System;
using Microsoft.Pex.Framework;

namespace InfeasibleBenchmarks
{
    [PexClass(typeof(InfeasibleTest))]
    public partial class InfeasibleTest
    {
        [PexMethod]
        public void TestInfeasibleBranch(int x )
        {
            if (x > 10)
            {
                Console.WriteLine("x > 10");
                if (x < 10)
                {
                    Console.WriteLine("x < 10");
                }
            }


        }
    }
}